function ftime(t){
/*
    格式化时间    unix_timestamp to string
*/
	date =  new Date(t*1000);
	str = date.getFullYear().toString() + "年" ;
	str += (date.getMonth()+1).toString() + "月" ;
	str += date.getDate().toString() + "日 " ;

	str += date.getHours().toString() + ":" ;
	str += date.getMinutes().toString() + ":" ; 
	str += date.getSeconds().toString() ;
	return str;		  
}
function html(d){
	str = "<dl><dt><b>"+d.num+"</b><span>"+ ftime(d.addtime) +"</span><strong>" ;
	str += d.user +"</strong></dt><dd>"+ d.content +"</dd></dl>";
	return str;	
}